7 research outputs found
Counting and enumerating optimum cut sets for hypergraph -partitioning problems for fixed
We consider the problem of enumerating optimal solutions for two hypergraph
-partitioning problems -- namely, Hypergraph--Cut and
Minmax-Hypergraph--Partition. The input in hypergraph -partitioning
problems is a hypergraph with positive hyperedge costs along with a
fixed positive integer . The goal is to find a partition of into
non-empty parts -- known as a -partition -- so as
to minimize an objective of interest.
1. If the objective of interest is the maximum cut value of the parts, then
the problem is known as Minmax-Hypergraph--Partition. A subset of hyperedges
is a minmax--cut-set if it is the subset of hyperedges crossing an optimum
-partition for Minmax-Hypergraph--Partition.
2. If the objective of interest is the total cost of hyperedges crossing the
-partition, then the problem is known as Hypergraph--Cut. A subset of
hyperedges is a min--cut-set if it is the subset of hyperedges crossing an
optimum -partition for Hypergraph--Cut.
We give the first polynomial bound on the number of minmax--cut-sets and a
polynomial-time algorithm to enumerate all of them in hypergraphs for every
fixed . Our technique is strong enough to also enable an -time
deterministic algorithm to enumerate all min--cut-sets in hypergraphs, thus
improving on the previously known -time deterministic algorithm,
where is the number of vertices and is the size of the hypergraph. The
correctness analysis of our enumeration approach relies on a structural result
that is a strong and unifying generalization of known structural results for
Hypergraph--Cut and Minmax-Hypergraph--Partition. We believe that our
structural result is likely to be of independent interest in the theory of
hypergraphs (and graphs).Comment: Accepted to ICALP'22. arXiv admin note: text overlap with
arXiv:2110.1481